Integer Overflow or Underflow (IOU)

Description:

IOU detects if the value of an operator is out of bounds for the type specified by the language semantics for the operator result. An error message is generated for such types as int and long.

Incorrect:

int ex(int x, int y) {
    if (x < System.Int32.MinValue / 2 && y > System.Int32.MaxValue / 2) {
        return x * y;
    }
    return 0;
}